When fat people are depicted in popular media, we often take their behavior to be representative of all fat people. How one fat person acts becomes representative of a broader pattern of behavior that all fat people are presumed to share, shaping the way we understand fatness. This way of generalizing presents fatness as a singular experience, reducing fat people to a monolithic narrative that often reinforces anti-fat bias. How do we avoid this reduction? How can we responsibly depict fat (...) characters without perpetuating negative stereotypes about real fat people? Using the case of “Fat Thor” from Avengers: Endgame, I propose the beginnings of an account of responsible artistic agency which can be used to improve the ways that marginalized communities are depicted in art, with a particular focus on fat communities. Central to this account are two features: inclusion of and deference to members of the communities depicted from a variety of backgrounds throughout the production process, and mindfulness of the preexisting narrative web built around the communities depicted. I will use this discussion to highlight the need for a drastic shift in how we consider marginalized populations in art—in reimagining both who tells their stories, and what stories are told on their behalf. (shrink)

In recent discussions, it has been argued that a theory of animal rights is at odds with a liberal abortion policy. In response, Francione (1995) argues that the principles used in the animal rights discourse do not have implications for the abortion debate. I challenge Francione’s conclusion by illustrating that his own framework of animal rights, supplemented by a relational account of moral obligation, can address the moral issue of abortion. I first demonstrate that Francione’s animal rights position, which grounds (...) moral consideration in sentience, is committed to the claim that a sentient fetus has a right to life. I then illustrate that a fully developed account of animal rights that recognizes the special obligations humans have to assist animals when we cause them to be dependent and vulnerable through our voluntary actions or omissions is committed to the following: a woman also has a special obligation to assist a sentient fetus when she causes it to be dependent and vulnerable through her voluntary actions or omissions. From these considerations, it will become evident that a fully developed and consistent animal rights ethic does in fact have implications for the abortion discussion. (shrink)

In response to my argument against Aristotle’s claim that humans are more political than other animals, Edward Jacobs counters that the evidence I use from cognitive ethology and my application of evolutionary principles fail to demonstrate that other animals are as political as humans. Jacobs furthermore suggests that humans are more political than other animals by pointing to the political variation in human communities. In this article, I defend my use of evolutionary principles and my interpretation of anecdotes from cognitive (...) ethology, while challenging Jacobs’s assertion that human political variation implies that humans are more political than other animals. (shrink)

In The Case for Animal Rights, Tom Regan argues that, in addition to the negative duty not to harm nonhuman animals, moral agents have a positive duty to assist nonhuman animals who are victims of injustice. This claim is not unproblematic because, in many cases, assisting a victim of injustice requires that we harm some other nonhuman animal(s). For instance, in order to feed victims of injustice who are obligate carnivores, we must kill some other animal(s). It seems, then, that (...) sometimes the duty to assist nonhuman animals who are victims of injustice conflicts with the prima facie duty not to harm nonhuman animals. In defense of Regan’s theory against this apparent inconsistency, I introduce an additional principle, the “guardianship principle,” which can be used to illustrate how we can be justified, under certain conditions, in overriding our prima facie duty not to harm nonhuman animals in order to fulfill our duty to assist nonhuman animals who are victims of injustice. (shrink)

In this article, we argue that John Henry Newman was right to think that our passional nature can play a legitimate epistemic role. First, we unpack the standard objection to Newman’s understanding of the relationship between our passional nature and the evidential basis of faith. Second, we argue that the standard objection to Newman operates with a narrow definition of evidence. After challenging this notion, we then offer a broader and more humane understanding of evidence. Third, we survey recent scholarship (...) arguing that emotions, a key aspect of our passional nature, are cognitive. In this light, they plausibly have a proper epistemic role. Fourth, we defend Newman’s reliance on the passional nature in epistemic matters by showing how reasonable it is in light of this recent work on evidence and the nature of emotions. Newman’s insistence that the formation of a right state of heart and mind is crucial for epistemic success is far from untenable. (shrink)

In this paper, I will analyze Rawad El Skaf’s (2017 & 2021) account of thought experiments (TEs) in physics. I will argue that El Skaf’s account is strengthened by taking on Amy Kind’s (2016 & 2018) constraints-based approach to the imagination, which highlights the epistemic significance of imaginative processes. First, I will present El Skaf’s step-by-step structure of TEs wherein he discusses their form, content, and epistemic function. Second, I will explain a canonical TE in physics known as the clock-in-the-box. (...) In turn, I will lay out El Skaf’s analysis of the clock-in-the-box TE. Then, I will present Amy Kind’s constraints-based approach to the imagination. I will then offer three critiques of El Skaf’s account and suggest that each critique is resolved by applying a constraints-based approach to his view. Once the hybrid view is laid out, I will discuss incompatible constraints on the imagination, which I call the home and away constraints. I will argue that a thought experimenter (TEer) may overcome this incompatibility by transforming away constraints into home constraints via metaphor. Lastly, I will argue that physics TEs are special since it is an essential feature of theirs that they ask the TEer to consider incompatible constraints on the imagination. (shrink)

This is an extension of my earlier work, The Coast is Not Clear. This paper offers an alternative view in the discussion of passive action between Harry Frankfurt (1978) and Alfred Mele (1997). First, I will describe Frankfurt’s noncausal account of action. Second, I will present counterexamples on behalf of Mele’s causal account. Then, I will introduce the Frankfurt-friendly View (FFV) which captures Frankfurt’s judgments about action while rejecting Frankfurt-style cases. I will explore what constitutes and explains actions in each (...) view. I will then analyze the counterexamples using Mele’s view and the FFV. Finally, I will explain the interpretive differences between the competing views. (Note that this work is not published and in its early draft stages.). (shrink)

In this paper we track the ‘body positivity’ movement from its origins, promoting radical acceptance of marginalized bodies, to its co-optation as a push for self-love for all bodies, including those bodies belonging to socially dominant groups. We argue that the new focus on the ‘body positivity’ movement involves a single-minded emphasis on beauty and aesthetic adornment, and that this undermines the original focus of social and political equality, pandering instead to capitalism and failing to rectify unjust institutions and policies. (...) As such, we argue that the ‘body positivity’ movement ultimately marginalises further the bodies for which it initially sought justice and acceptance. (shrink)

While theories of animal rights maintain that nonhuman animals possess prima facie rights, such as the right to life, the dominant philosophies of animal rights permit the killing of nonhuman animals for reasons of self-defense. I argue that the animal rights discourse on defensive killing is problematic because it seems to entail that any nonhuman animal who poses a threat to human beings can be justifiably harmed without question. To avoid this human-privileged conclusion, I argue that the animal rights position (...) needs to both (1) deploy a new criterion of liability to defensive harm, and (2) seriously consider whether human beings themselves are liable to defensive harm in human-animal conflicts. By shifting the focus to whether humans are liable to defensive harm, we will find that in many situations of human-animal conflict, human beings are actually the ones liable to be harmed because they are often culpable or, to some degree, morally responsible for posing an unjust threat to nonhuman animals. (shrink)

Categorial logic, as its name suggests, applies the techniques and machinery of category theory to topics traditionally classified as part of logic. We claim that these tools deserve attention from a greater range of philosophers than just the mathematical logicians. We support this claim with an example. In this paper we show how one particular tool from categorial logic---hyperdoctrines---suggests interesting metaphysics. Hyperdoctrines can provide semantics for quantified languages, but this account of quantification suggests a metaphysical picture quite different from the (...) one suggested by standard model-theoretic semantics. (shrink)

It is still a live question in epistemology and philosophy of science as to what exactly evidence is. In my view, evidence consists in experiences called “seemings.” This view is a version of the phenomenal conception of evidence, the position that evidence consists in nonfactive mental states with propositional content. This conception is opposed by sense-data theorists, disjunctivists, and those who think evidence consists in physical objects or publicly observable states of affairs—call it the courtroom conception of evidence. Thomas Kelly (...) has recently argued that the phenomenal conception cannot play all the roles evidence plays and is thus inadequate. Having first explained the nature of seemings, in this essay I utilize Kelly’s own understanding of the four major roles of evidence and argue that the phenomenal conception can play each one. Experience is a good candidate for evidence. (shrink)

This is an extension of my earlier work, How in the World Are There Many Worlds and it's a lot more interesting! This paper explores personal identity and persistence through time in the many-worlds framework, governed by the Many Worlds Interpretation (MWI) of quantum mechanics (QM). First, I will motivate our consideration of the MWI in this context. Second, I will introduce endurantism, which is one answer to the puzzle concerning persistence through time. Third, I will explain the foundational physics (...) underlying the MWI that lends itself to branching worlds. In turn, I will explain what exactly a world amounts to in this picture. Then, I will present three views on personal identity and persistence through time: the bye-bye Betty view, the every-branch view, and the privileged branch view. I will argue that the privileged branch view is the most attractive of the bunch for determining the best candidate among close continuers. Finally, I will discuss knowledge, attitudes, and moral responsibility within the privileged branch view. (shrink)

In this paper, we examine a number of relevant logics’ variable sharing properties from the perspective of theories of topic or subject-matter. We take cues from Franz Berto’s recent work on topic to show an alignment between families of variable sharing properties and responses to the topic transparency of relevant implication and negation. We then introduce and defend novel variable sharing properties stronger than strong depth relevance—which we call cn-relevance and lossless cn-relevance—showing that the properties are satisfied by the weak (...) relevant logics and , respectively. We argue that such properties address a sort of semantic lossiness of strong depth relevance. (shrink)

A discussion of several tensions between Thomistic philosophy and modern Darwinian theory as well as several recent Thomistic criticisms of intelligent design.

Jc Beall has made several contributions to the theory of restricted quantification in relevant logics. This paper examines these contributions and proposes an alternative account of restricted universals. The alternative is not, however, a theory of relevant restricted universals in any real sense. It is, however, a theory of restricted universals phrased in the most plausible general quantificational theory for relevant logics—Kit Fine’s stratified semantics. The motivation both for choosing this semantic framework and for choosing the particular theory of restricted (...) quantification we use is because they are the best way of dealing with these topics from Beall’s theory-building theory picture of logic, establishing a second point of contact with Beall’s work. (shrink)

For some years now, Michael Bergmann has urged a dilemma against internalist theories of epistemic justification. For reasons I explain below, some epistemologists have thought that Michael Huemer’s principle of Phenomenal Conservatism can split the horns of Bergmann’s dilemma. Bergmann has recently argued, however, that PC must inevitably, like all other internalist views, fall prey to his dilemma. In this paper, I explain the nature of Bergmann’s dilemma and his reasons for thinking that PC cannot escape it before arguing that (...) he is mistaken: PC can indeed split its horns. (shrink)

Behavioural flexibility is often treated as the gold standard of evidence for more sophisticated or complex forms of animal cognition, such as planning, metacognition and mindreading. However, the evidential link between behavioural flexibility and complex cognition has not been explicitly or systematically defended. Such a defence is particularly pressing because observed flexible behaviours can frequently be explained by putatively simpler cognitive mechanisms. This leaves complex cognition hypotheses open to ‘deflationary’ challenges that are accorded greater evidential weight precisely because they offer (...) putatively simpler explanations of equal explanatory power. This paper challenges the blanket preference for simpler explanations, and shows that once this preference is dispensed with, and the full spectrum of evidence—including evolutionary, ecological and phylogenetic data—is accorded its proper weight, an argument in support of the prevailing assumption that behavioural flexibility can serve as evidence for complex cognitive mechanisms may begin to take shape. An adaptive model of cognitive-behavioural evolution is proposed, according to which the existence of convergent trait–environment clusters in phylogenetically disparate lineages may serve as evidence for the same trait–environment clusters in other lineages. This, in turn, could permit inferences of cognitive complexity in cases of experimental underdetermination, thereby placing the common view that behavioural flexibility can serve as evidence for complex cognition on firmer grounds. (shrink)

The discourses of Antillanité and Créolité are both based on the absence of women. This is more important in the discourse of Créolité since it silences the grandmothers, great aunts and village midwives who are the transmitters of folk tales, folk medicines and oral culture. In the struggle for recognition between Caribbean males and western males folk medicine may be too closely associated with the denigrated female role to be considered a suitable inclusion into modern development.

Weak enough relevant logics are often closed under depth substitutions. To determine the breadth of logics with this feature, we show there is a largest sublogic of R closed under depth substitutions and that this logic can be recursively axiomatized.

In this chapter, we argue for a phenomenal conservative perspective on religious epistemology and attempt to answer some common criticisms of this perspective.

The role of certitude in our mental lives is, to put it mildly, controversial. Many current epistemologists (including epistemologists of religion) eschew certitude altogether. Given his emphasis on certitude, some have maintained that John Henry Newman was an infallibilist about knowledge. In this paper, we argue that a careful examination of his thought (especially as seen in the Grammar of Assent) reveals that he was an epistemic fallibilist. We first clarify what we mean by fallibilism and infallibilism. Second, we explain (...) why some have read Newman as an infallibilist. Third, we offer two arguments that Newman is at least a fallibilist in a weak sense. In particular, the paradox he seeks to resolve in the Grammar and his dispute with John Locke both indicate that he is at least a weak fallibilist. We close with a consideration of whether Newman is a fallibilist in a much stronger sense as well. (shrink)

This essay shows how John Henry Newman reconciled the certitude of faith with a fallibilist epistemology. While Newman holds that many of our beliefs are held with certitude, he does not conceive of all certitude as Cartesian, apodictic certitude. In this way, he walks a middle road between rationalism and fideism.

In this chapter, Logan Paul Gage examines the only real attempt to disprove God’s existence by a New Atheist: Richard Dawkins’s “Ultimate 747 Gambit.” Central to Dawkins’s argument is the claim that God is more complex than what he is invoked to explain. Gage evaluates this claim using the main extant notions of simplicity in the literature. Gage concludes that on no reading does this claim survive scrutiny. Along the way, Dawkins claims that there are no good positive arguments (...) for God’s existence. Gage attempts to show that Dawkins’s argument depends upon distinctively philosophical assumptions that do not appear to withstand scrutiny. (shrink)

In recent years, Duncan Pritchard has developed a position in religious epistemology called quasi‐fideism that he claims traces back to John Henry Newman's treatment of the rationality of religious belief. In this paper, we give three reasons to think that Pritchard's reading of Newman as a quasi‐fideist is mistaken. First, Newman's parity argument does not claim that religious and non‐religious beliefs are on a par because both are groundless; instead, for Newman, they are on a par because both often stem (...) from implicit rather than explicit reasoning. Second, pace Pritchard, Newman's distinction between simple and complex assent does not map onto the Wittgensteinian distinction between groundless hinge commitments and beliefs that flow from these hinges. For Newman, simple and complex assent differ in terms of the believer's level of awareness of their grounds. Third, and finally, Newman does not reject Locke's evidentialism in toto. Instead, he argues that certitude is not restricted to beliefs stemming from intuition and demonstration but often rightly includes probabilistically supported (or fallibly evidenced) beliefs. (shrink)

In this essay, I describe my journey to Catholicism and explain one of the many reasons I became Catholic--namely, an argument from the canon of Scripture.

We criticize the approach of covenantal epistemology to religious epistemology as articulated by Scott Oliphint from the perspective of phenomenal conservatism.

Consider the set of inferences that are acceptable to use in all our theory building endeavors. Call this set of inferences the universal theory building toolkit, or just ’the toolkit’ for short. It is clear that the toolkit is tightly connected to logic in a variety of ways. Beall, for example, has argued that logic just is the toolkit. This paper avoids making a stand on that issue and instead investigates reasons for thinking that, logic or not, the toolkit is (...) substructural. It is presented as a dialogue for the simple reason that it summarizes a range of dialogues on this subject that the author has had with various folks over the past few years. The method I use to investigate the toolkit is inspired in both philosophical and technical details by Alasdair Urquhart’s work on semantics for relevance logics from the early 1970s. (shrink)

We criticize the proper functionalist approach to religious epistemology as articulated by Tyler McNabb from the perspective of phenomenal conservatism.

We critique MacIntyre's traditions-based perspectivalist approach to religious epistemology as articulated by Erik Baldwin from the perspective of phenomenal conservatism.

We criticize the classical evidentialist approach to religious epistemology as articulated by John DePoe from the perspective of phenomenal conservatism.

This paper is intended to persuade an uncommitted audience that free will is illusory. I examine free will through the lens of three interpretations of quantum theory: dynamical collapse theories, hidden variable theories, and many-worlds theories. Dynamical collapse theories, hereon called collapse theories, are the primary focus of this work since they are the most widely accepted in the current philosophy of physics climate. The core postulations and mechanics of the collapse theories are articulated. Accompanying these postulations are a few (...) assumptions regarding the role quantum mechanics may have in one’s decisions. The postulations and assumptions together lead to the conclusion that agents are not free in the collapse theory framework. Then, I anticipate and respond to the following objections. First, that agents are at least partially free through their ability to control and change personal dispositions. Second, that the psychological level is the most appropriate scale for discussions regarding freedom. Finally, I extend my argument against free will to the hidden variables and many-worlds theories. (Note that this work is in its early draft stages - later versions will be updated and revised). (shrink)

Recent authors, emphasizing Newman’s distaste for natural theology—especially William Paley’s design argument—have urged us to follow Newman’s lead and reject design arguments. But I argue that Newman’s own argument for God’s existence (his argument from conscience) fails without a supplementary design argument or similar reason to think our faculties are truth-oriented. In other words, Newman appears to need the kind of argument he explicitly rejects. Finding Newman’s rejection of natural theology to stem primarily from factors other than worries about cogency, (...) however, I further argue that there is little reason not to pursue design arguments in order to save the argument from conscience. (shrink)

Recently, the Intelligent Design (ID) movement has challenged the claim of many in the scientific establishment that nature gives no empirical signs of having been deliberately designed. In particular, ID arguments in biology dispute the notion that neo-Darwinian evolution is the only viable scientific explanation of the origin of biological novelty, arguing that there are telltale signs of the activity of intelligence which can be recognized and studied empirically. In recent years, a number of Catholic philosophers, theologians, and scientists have (...) expressed opposition to ID. Some of these critics claim that there is a conflict between the philosophy of St. Thomas Aquinas and that of the ID movement, and even an affinity between Aquinas’s ideas and theistic Darwinism. We consider six such criticisms and find each wanting. (shrink)

In this article, we examine in detail the New Atheists' most serious argument for the conclusion that God does not exist, namely, Richard Dawkins's Ultimate 747 Gambit. Dawkins relies upon a strong explanatory principle involving simplicity. We systematically inspect the various kinds of simplicity that Dawkins may invoke. Finding his crucial premises false on any common conception of simplicity, we conclude that Dawkins has not given good reason to think God does not exist.

Contextualism (the view that ‘knowledge’ and its variants are context-sensitive) has been supported in large part through appeal to intuitions about Keith DeRose’s Bank Cases. Recently, however, the contextualist construal of these cases has come under fire from Kent Bach and Jennifer Nagel who question whether the Bank Case subject’s confidence can remain constant in both low- and high-stakes cases. Having explained the Bank Cases and this challenge to them, I argue that DeRose has given a reasonable reply to this (...) initial challenge. However, I proceed to argue that the current stalemate can be broken. Seeking to extend the Bach-Nagel critique, I offer a novel interpretation of the Bank Cases according to which the subject’s evidence changes between low- and high-stakes cases. If I am correct, then, given the amount of support the Bank Cases have been thought to lend contextualism, the case for contextualism is seriously weakened. (shrink)

Relevant logics infamously have the property that they only validate a conditional when some propositional variable is shared between its antecedent and consequent. This property has been strengthened in a variety of ways over the last half-century. Two of the more famous of these strengthenings are the strong variable sharing property and the depth relevance property. In this paper I demonstrate that an appropriate class of relevant logics has a property that might naturally be characterized as the supremum of these (...) two properties. I also show how to use this fact to demonstrate that these logics seem to be constructive in previously unknown ways. (shrink)

Formal symptoms of relevance usually concern the propositional variables shared between the antecedent and the consequent of provable conditionals. Among the most famous results about such symptoms are Belnap’s early results showing that for sublogics of the strong relevant logic R, provable conditionals share a signed variable between antecedent and consequent. For logics weaker than R stronger variable sharing results are available. In 1984, Ross Brady gave one well-known example of such a result. As a corollary to the main result (...) of the paper, we give a very simple proof of a related but strictly stronger result. (shrink)

A brief introduction to the life and key work of Rudolf Carnap with special attention to his work on inductive logic.

A brief introduction to the life and work of William Paley, including a discussion of the structure of his famous design argument.

A brief introduction to a diverse and interesting group of papers in contemporary epistemology.

In a time when conservatives believe that the traditional family is under increasing fire, some think an appeal to Darwinian science may be the answer. I argue that these conservatives are wrong to maintain that Darwinian theory can serve as the intellectual foundation for the traditional conception of the family. Contra Larry Arnhart and James Q. Wilson, a Darwinian philosophy of nature simply lacks the stability the traditional family requires; it cannot support the traditional conception of human nature and the (...) normativity it was thought to contain. If conservatives are to maintain these traditional ideas, the theoretical foundation must lie elsewhere. (shrink)

In 1988, Kit Fine published a semantic theory for quantified relevant logics. He referred to this theory as stratified semantics. While it has received some attention in the literature, 1–20, 1992; Mares & Goldblatt, Journal of Symbolic Logic 71, 163–187, 2006), stratified semantics has overall received much less attention than it deserves. There are two plausible reasons for this. First, the only two dedicated treatments of stratified semantics available are, 27–59, 1988; Mares, Studia Logica 51, 1–20, 1992), both of which (...) are quite dense and technically challenging. Second, there are a number of prima facie reasons to be worried about stratified semantics. The purpose of this paper is to revitalize research on stratified semantics. I will do so by giving a ‘user friendly’ presentation of the semantics, and by giving reasons to think that the prima facie reasons to be worried about it are too simplistic. (shrink)

There is a natural story about what logic is that sees it as tied up with two operations: a ‘throw things into a bag’ operation and a ‘closure’ operation. In a pair of recent papers, Jc Beall has fleshed out the account of logic this leaves us with in more detail. Using Beall’s exposition as a guide, this paper points out some problems with taking the second operation to be closure in the usual sense. After pointing out these problems, I (...) then turn to fixing them in a restricted case and modulo a few simplifying assumptions. In a followup paper, the simplifications and restrictions will be removed. (shrink)

Abstractionism in the philosophy of mathematics aims at deriving large fragments of mathematics by combining abstraction principles (i.e. the abstract objects $\S e_1, \S e_2$, are identical if, and only if, an equivalence relation $Eq_\S$ holds between the entities $e_1, e_2$) with logic. Still, as highlighted in work on the semantics for relevant logics, there are different ways theories might be combined. In exactly what ways must logic and abstraction be combined in order to get interesting mathematics? In this paper, (...) we investigate the matter by deriving the axioms of second-order Peano Arithmetic from Frege's Basic Law V (the extension of $F$ is identical with the extension of $G$ if, and only if, $F$ and $G$ are extensionally equivalent) in the presence of a relevant higher-order logic. The results are interesting. Not only must we take on logic as true, and not only must we apply our logic to abstraction principles, but also we have to apply our theory of abstraction back to the logic in order to arrive at arithmetic. Thus, what Abstractionism gives us is not simply what we get from abstraction via logic, but also what we get from logic via abstraction. (shrink)

It seems that no philosopher these days wants a theory of truth which can be accused of being metaphysical. But even if we agree that grandiose metaphysics is to be spurned, even if we agree that our theory of truth should be a deflated one, the controversy does not die down. A variety of deflationist options present themselves. Some, with Richard Rorty, take the notion of truth to be so wedded to metaphysics that we are advised to drop it altogether. (...) Others, with Paul Horwich, take the disquotational or equivalence schema—'p' is T if and only if p—to completely capture the content of the predicate 'is true'. And others argue that there is a conception of truth to be had which is non-metaphysical but which goes beyond the triviality expressed by the disquotational schema. (shrink)

This paper examines a variety of social scientific studies purporting to demonstrate that transracial adoption is in the best interests of children. Finding flaws in these studies and the ethical and political arguments based upon such scientific findings, we argue for adoption practices and policies that respect the racial and ethnic identities of children of color and their communities of origin.

Linnebo and Pettigrew present some objections to category theory as an autonomous foundation. They do a commendable job making clear several distinct senses of ‘autonomous’ as it occurs in the phrase ‘autonomous foundation’. Unfortunately, their paper seems to treat the ‘categorist’ perspective rather unfairly. Several infelicities of this sort were addressed by McLarty. In this note I address yet another apparent infelicity.

This paper presents a new semantics for the weak relevant logic DW that makes the role of the infamous Routley star more explicable. Central to this rewriting is combining aspects of both the American and Australian plan for understanding negations in relevance logics.

I present a version of Kit Fine's stratified semantics for the logic RWQ and define a natural family of related structures called RW hyperdoctrines. After proving that RWQ is sound with respect to RW hyperdoctrines, we show how to construct, for each stratified model, a hyperdoctrine that verifies precisely the same sentences. Completeness of RWQ for hyperdoctrinal semantics then follows from completeness for stratified semantics, which is proved in an appendix. By examining the base category of RW hyperdoctrines, we find (...) reason to be worried about the ontology of stratified models. (shrink)

Players of videogames describe their gameplay in the first person, e.g. “I took cover behind a barricade.” Such descriptions of gameplay experiences are commonplace, but also puzzling because players are actually just pushing buttons, not engaging in the activities described by their first-person reports. According to a view defended by Robson and Meskin (2016), which we call the fictional identity view, this puzzle is solved by claiming that the player is fictionally identical with the player character. Hence, on this view, (...) if the player-character fictionally performs an action then, fictionally, the player performs that action. However, we argue that the fictional identity view does not make sense of players' gameplay experiences and their descriptions of them. We develop an alternative account of the relationship between the player and player-character on which the player-character serves as the player's fictional proxy, and argue that this account makes better sense of the nature of videogames as interactive fictions. (shrink)